set("INTX_TESTING" "OFF" CACHE INTERNAL "")
set("INTX_BENCHMARKING" "OFF" CACHE INTERNAL "")
set("INTX_FUZZING" "OFF" CACHE INTERNAL "")
